Nuprl Lemma : ma_da_wf 0,22

M:MsgA. da(M k:Knd fp Type 
latex


Definitionst  T, da(M), x:AB(x), MsgA, x:AB(x), Knd, Type, a:A fp B(a), x:AB(x)
Lemmasmsga wf

origin